Inhalt des Dokuments
Abgeschlossene Bachelorarbeiten
-
Proving Safety Properties for Session Types with Optional Blocks
Grillere, Matthieu
-
On the Utility and Usability of DCR Graphic to Model Dynamic Processes in a Clinical Case Study
Gräfje, Malte
-
On the Utility and Usability of Event Structures to Model Dynamic Processes in a Clinical Case Study
Trénous, Jonas
-
Local States for Distributed Process Calculi
Rohde, Nadine
-
State-Based Representations of Distributed Consensus Algorithms
Kuhnert, Dennis
-
Integration of Environmental Issues within Computer Science Studies
Papillon, Anne-Lise
Abgeschlossene Masterarbeiten
-
Data-driven Quality Assurance for Afghan Universities: Current Situation, Challenges and Ideas for Automation
Sahim, Sayed Ahmad
-
Sentiment Analysis and Opinion Mining - On the Identification of User Generated Text on Digital Media Sites
Sajid, Hekmatullah
-
Search Engine Optimization to Enhance User Interaction Using Machine Learning Techniques
Sadaat, Najib Ullah
-
Privacy and Security on Social Networks - Raising Risk Awareness Among Young Academics in Afghanistan
Qarghaiwal, Muhammad Haroon
-
Modernizing the Public Administration in Afghanistan with IT Services
Mohsin, Mohabbat Khan
-
Adding Transparency to Afghanistan's Cash-Based Economy Using a Digital Currency
Jamiulahmadi, Ahmad Jawid
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe